finite counting automata

[计] 有限计算自动机